Marketing computacional: diseño automático de productos

El objetivo de este proyecto es desarrollar una aplicación multiplataforma que, dadas las preferencias de los clientes por las posibles características que se pueden dar a un producto, y dados los productos que vende la competencia, decida las características del producto a vender para que éste obtenga el mayor número de clientes, bien de manera inmediata, o bien a largo plazo. La solución óptima de este tipo de problemas es intratable, ya que no se pueden resolver en tiempo polinómico, por lo que nosotros utilizamos soluciones heurísticas, concretamente: algoritmos genéticos, algoritmos minimax, algoritmos de aprendizaje automático y algoritmos de interpolación. Además, realizamos un caso de estudio con datos reales obtenidos a través de una serie de encuestas utilizando una plataforma web, concretamente de la empresa Feebbo, que nos permitió obtener resultados sobre las preferencias de más de 500 encuestados. Las preguntas de las encuestas se centraron en un tipo de producto en particular, en nuestro caso teléfonos móviles.

Susceptibilidad al virus herpes simple tipo 1: contribución de complejos genéticos polimórficos relacionados con la citotoxicidad celular

El virus Herpes simple tipo 1 (HSV-1) infecta a la mayoría de los individuos en edades tempranas, manteniéndose en estado latente en sus ganglios sensitivos durante toda la vida. La primoinfección requiere un contacto directo entre la piel o las mucosas dañadas de un individuo no infectado con viriones infectivos liberados en los fluidos corporales de un sujeto infectado. Esta infección primaria suele pasar desapercibida o causar sintomatología típica de una infección viral leve. Sin embargo, en casos excepcionales, puede ser la causa de enfermedades graves y potencialmente letales como la encefalitis herpética, el síndrome séptico por HSV-1, la infección congénita, el eczema herpeticum o la queratitis herpética (Abel et al, 2010; Chase et al, 1987; Frederick et al, 2002; Leung et al, 2013, Liesegang et al, 2001; Whitley et al, 1991). El paso del virus a través de las barreras anatómicas de un individuo no infectado es seguido por la replicación viral en el sitio de la inoculación. A continuación, los viriones entran en las fibras nerviosas sensitivas y son transportados hacía los cuerpos neuronales en los ganglios sensitivos, donde se mantienen en estado latente…

Aceleración de algoritmos para imágenes hiperespectrales con OpenCL

En el presente trabajo se propone dar solución a uno de los problemas principales surgido en el campo del análisis de imágenes hiperespectrales. En las últimas décadas este campo está siendo muy activo, por lo que es de vital importancia tratar su problema principal: mezcla espectral. Muchos algoritmos han tratado de solucionar este problema, pero que a través de este trabajo se propone una cadena nueva de desmezclado en paralelo, para ser acelerados bajo el paradigma de programación paralela de OpenCl. Este paradigma nos aporta el modelo de programación unificada para acelerar algoritmos en sistemas heterogéneos. Podemos dividir el proceso de desmezclado espectral en tres etapas. La primera tiene la tarea de encontrar el número de píxeles puros, llamaremos endmembers a los píxeles formados por una única firma espectral, utilizaremos el algoritmo conocido como Geometry-based Estimation of number of endmembers, GENE. La segunda etapa se encarga de identificar los píxel endmembers y extraerlos junto con todas sus bandas espectrales, para esta etapa se utilizará el algoritmo conocido por Simplex Growing Algorithm, SGA. En la última etapa se crean los mapas de abundancia para cada uno de los endmembers encontrados, de esta etapa será encargado el algoritmo conocido por, Sum-to-one Constrained Linear Spectral Unmixing, SCLSU. Las plataformas utilizadas en este proyecto han sido tres: CPU, Intel Xeon E5-2695 v3, GPU, NVidia GeForce GTX 980, Acelerador, Intel Xeon Phi 31S1P. La idea de este proyecto se basa en realizar un análisis exhaustivo de los resultados obtenidos en las diferentes plataformas, con el fin de evaluar cuál se ajusta mejor a nuestras necesidades.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

Aceleración de algoritmos de estimación de movimiento mediante OpenCL

El flujo óptico y la estimación de movimiento es área de conocimiento muy importante usado en otros campos del conocimiento como el de la seguridad o el de la bioinformática. En estos sectores, se demandan aplicaciones de flujo óptico que realicen actividades muy importantes con tiempos de ejecución lo más bajos posibles, llegando a tiempo real si es posible. Debido a la gran complejidad de cálculos que siguen a este tipo de algoritmos como se observará en la sección de resultados, la aceleración de estos es una parte vital para dar soporte y conseguir ese tiempo real tan buscado. Por lo que planteamos como objetivo para este TFG la aceleración de este tipo de algoritmos mediante diversos tipos de aceleradores usando OpenCL y de paso demostrar que OpenCL es una buena herramienta que permite códigos paralelizados con un gran Speedup a la par que funcionar en toda una diversa gama de dispositivos tan distintos como un GPU y una FPGA. Para lo anteriormente mencionado trataremos de desarrollar un código para cada algoritmo y optimizarlo de forma no especifica a una plataforma para posteriormente ejecutarlo sobre las diversas plataformas y medir tiempos y error para cada algoritmo. Para el desarrollo de este proyecto partimos de la teoría de dos algoritmos ya existentes: Lucas&Kanade monoescala y el Horn&Schunck. Además, usaremos estímulos para estos algoritmos muy aceptados por la comunidad como pueden ser el RubberWhale o los Grove, los cuales nos ayudarán a establecer la corrección de estos algoritmos y analizar su precisión, dando así un estudio referencia para saber cual escoger.

Impacto de los polimorfismos genéticos de las citoquinas en los resultados del trasplante renal

En el trasplante de órganos sólidos los factores que conducen a la pérdida del injerto son muy diversos. A pesar del avance en el diagnóstico y tratamiento de los pacientes trasplantados renales, el rechazo agudo sigue siendo una de las principales causas de deterioro progresivo de la función renal. La presencia de episodios de rechazo acorta la supervivencia del injerto e, incluso, la del paciente, dado que implica la activación de un proceso inflamatorio no sólo local, sino también sistémico y obliga al incremento de la carga de inmunosupresión a administrar. La detección de los pacientes con mayor grado de susceptibilidad al desarrollo de rechazo, puede ayudarnos a prevenirlo. No existe consenso sobre la definición de "riesgo inmunológico elevado" y que características tiene que cumplir un paciente para poder ser incluido dentro de este grupo de riesgo. Las citoquinas, moléculas inmunomoduladoras que actúan como mediadores de la inflamación y la respuesta inmune, son secretadas por células T y macrófagos. Participan activamente en todos los procesos de la respuesta inmune, desde la activación a la diferenciación y proliferación celular. La producción de estas citoquinas se encuentra, en muchas ocasiones, sometida a una regulación genética, de tal forma que polimorfismos a nivel de las regiones promotoras o codificadoras pueden alterar los niveles de las mismas y por tanto modificar la respuesta inflamatoria y/o inmunológica ante cualquier estímulo...